Timed相关论文
Retrospective study of effect of whole-body vibration training on balance and walking function in st
BACKGROUND Dysfunction in stroke patients has been a problem that we committed to solve and explore.Physical therapy has......
目的 观察高渗盐溶液(HTS)对肠缺血/再灌注(I/R)损伤兔肠屏障功能保护作用的时相性差异.方法 按随机数字表法将72只新西兰白兔分为......
ＡｐｐｌｉｃａｔｉｏｎｏｆＴｉｍｅｄＰｅｔｒｉＮｅｔｓｔｏＡｎａｌｙｓｉｓａｎｄＳｃｈｅｄｕｌｉｎｇｏｆＦｌｅｘｉｂｌｅＭａｎｕｆａｃｔｕｒｉｎｇＣｅｌｌｓ￥ＧＵＩＺｈｉｂｏ（ＯｐｅｎＬａｂ．ｏｆＣｏｍｐｌ．Ｓｙｓｔ．Ｅｎｇ．，Ｉｎｓｔｉｔｕｔｅｏｆ...
Application of Tied Petri Net Analysis and Scheduling of Flexible Manufacturing Cells ¥ GUIZhibo (OpenLab. Of Comp......
Parametric Transformation of Timed Weighted Marked Graphs:Applications in Optimal Resource Allocatio
Timed weighted marked graphs are a subclass of timed Petri nets that have wide applications in the control and performan......
Lorenz-RR scatter plot has an obvious shortcoming in that it does not indicate the time when the scatter point happens.O......
ＳｐｅｃｉｅｓａｎａｌｙｓｉｓｍｅｔｈｏｄｓｆｏｒｈｙｄｒｏｌｙｓｉｓｐｏｌｙｍｅｒｉｚａｔｉｏｎｏｆａｌｕｍｉｎｕｍＦｅｎｇＬｉ，ＬｕａｎＺｈａｏｋｕｎ，ＴａｎｇＨｏｎｇｘｉａｏＲｅｓｅａｒｃｈＣｅｎｔｅｒｆｏｒＥｃｏＥｎｖｉｒｏｎｍｅｎｔａ.........
为了描述电力系统恢复过程，提出了基于UML的电力系统恢复过程建模方法，使用类图表示参与电力系统恢复的主要元件的静态特性，使用状态......
ＡＮｅｗＭｕｌｔｉｍｅｄｉａＳｙｎｃｈｒｏｎｉｚａｔｉｏｎＭｏｄｅｌＳｏｎｇＪｕｎ（宋军）ＧｕＧｕａｎｑｕｎ（顾冠群）（ＤｅｐａｒｔｍｅｎｔｏｆＣｏｍｐｕｔｅｒＳｃｉｅｎｃｅａｎｄＥｎｇｉｎｅｅｒｉｎｇ，ＳｏｕｔｈｅａｓｔＵｎｉｖｅｒｓｉｔｙ，Ｎａ.........
...
The wavenumber spectral components WN4 at the mesosphere and low thermosphere(MLT)altitudes(70–10 km)and in the latitud......
铝挤压机系统是一个多液压源、多液压缸的系统,难以使用传统的方法进行数字化建模.为了有效地开展AEM的液压系统设计与性能分析,本......
基于Petri网的协议形式化分析方法由于其精炼、简洁和无二义性逐步成为分析协议的一条可靠和准确的途径,但是协议的形式化分析目前......
室内测定了２８、２１、１６和１１℃下球孢白僵菌对桃蚜成蚜的毒力运用时间＝剂量－死亡率模型分析了各温度折合和对桃蚜的毒力。结果表明，２８和２１℃下，桃蚜开......
为解决地下矿山有轨运输调度问题,将Petri网理论引入矿山井下有轨运输调度优化中,结合蚁群算法思想,建立基于蚁群算法的赋时Petri......
着色赋时的面向对象Petri网（Colored Timed Object-Oriented PetriNet，CTOPN）是在面向对象Petri网的基础上，添加了着色令牌和输入输出......
对外层空间大气的研究对人类冲出地球走向太空具有非常重要的意义。MLTI区域是地球环境和外层空间的一个通道,容易受到来自太阳和......
Petri网是一种应用非常广泛的建模工具。首先给出了基本Petri网的概念，在此基础上对多种Petri网进行了广泛的研究，包括时间因素Petri......
Coloured Petri 网(简称 CP-nets 或CPN )是一种用于设计、详细说明、仿真和检验的面向图形的语言。它特别适合于那些通讯、同步、......
当用户一段时间不使用计算机时,可以关闭显示器,这样既可以节约电能,也可以避免不必要的辐射,但一般情况下系统只提供固定的时间,......
介绍了一种将TCSP语言用于硬件高层次系统设计的方法。该方法以HDL语言作为系统功能实现的核心，以TCSP语言作为系统高层次描述的外......
AIM: To evaluate quantitatively and qualitatively the different CD34+cell subsets after priming by chemotherapy granuloc......
A state/event fault tree(SEFT)is a modeling technique for describing the causal chains of events leading to failure in s......
阐述用AppleⅡ微机控制的核探测系统实现核物理实验定时、定数、改变电压或阈值测量的原理、方法和特点.系统的定时、定数测量功能......
Introduction: Timed intercourse (TI) based on ovulation monitoring is an effective and common choice for treatment of in......
Weighted priority queueing is a modification of priority queueing that eliminates the possibility of blocking lower prio......
In this work, Session Initiation Protocol model is established by using Timed Colored Petri Nets (TCPN). SIP (Session In......
In this work, we propose an approach for the verification of the AADL architecture. This approach is based on Model Driv......
高速铁路列车运行控制系统是一个复杂的实时性系统,结合其实际特点,将域方法作为系统描述的切入。通过对模型检验和定理证明两种验......
In order to reduce time and improve the probability of successful matting it is useful to co-ordinate between the moveme......
Data Timed Sending (DTS) Energy Efficient Protocol for Wireless Sensor Networks: Simulation and Test
The Data Timed Sending (DTS) protocol contributes to the energy savings in Wireless Sensor Networks (WSNs) and prolongs ......
Aiming at the former formalized methods such as Strips, Situation Calculus and Fluent Calculus can not represent the act......
In shared-memory bus-based multiprocessors, when the number of processors grows, the processors spend an increasing amou......
The Relation between the Stabilization Problem for Discrete Event Systems Modeled with Timed Petri N
A discrete event system is a dynamical system whose state evolves in time by the occurrence of events at possibly irregu......
Modeling of Fuel Elements Cycling System in Pebble Bed Reactor Based on Timed Places Control Petri N
Pebble bed reactors use cycling scheme of spherical fuel elements relying on fuel elements cycling system (FECS). The st......
